Project-Team:PI.R2

Project-Team Pi.r2

Members

Overall Objectives

Research Program

Proof theory and the Curry-Howard correspondence
The development of Coq
Dependently typed programming languages
Around and beyond the Curry-Howard correspondence

Highlights of the Year

New Software and Platforms

Coq
Other software developments

New Results

Effects in proof theory and programming
Reasoning and programming with infinite data
Effective higher dimensional algebra
Incrementality
Metatheory and development of Coq

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularisation

Bibliography

Major publications
Publications of the year
References in notes

Inria | Raweb 2015 | Presentation of the Project-Team PI.R2 | PI.R2 Web Site


	PDF	e-Pub

Previous |

Home | Next next

Section: Partnerships and Cooperations

European Initiatives

Collaborations in European Programs, except FP7 & H2020

Pierre-Louis Curien, Yves Guiraud and Philippe Malbos are collaborators of the Applied and Computational Algebraic Topology (ACAT) networking programme of the European Science Foundation.

Previous |

Home | Next next